You have chosen Menedemus, Arend Heyting and Arend Heyting.
All three must be different; choose another philosopher.